Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
馃М Combinator Calculus
SKI Combinators, Church Encoding, Point-Free Style, Reduction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83024
posts in
485.1
ms
Build a
Compiler
in Five Projects
kmicinski.com
路
38m
馃幁
Racket Modules
**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown
fractal-based
geometric
sequences
within...
freederia.com
路
12h
馃敘
Algebraic Datatypes
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
路
23h
路
Discuss:
Hacker News
馃З
Constraint Solvers
Time-Complexity Characterization of
NIST
Lightweight
Cryptography
Finalists
arxiv.org
路
1d
馃敆
Hash Functions
Agentic
Proof-Oriented
Programming
risemsr.github.io
路
1d
路
Discuss:
Lobsters
,
Hacker News
蟺
Pi Calculus
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
路
1d
路
Discuss:
Hacker News
馃尦
Tree Walking
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
路
38m
馃殏
Cranelift IR
Constrained parallel
tempering
in
traveling-salesman
problems with circular neighborhoods
link.aps.org
路
21m
鈴笍
Skip Lists
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
路
1d
路
Discuss:
r/golang
馃敜
Regex Engines
Stocking
Stuffers
yamlscript.org
路
5h
馃敆
Lexical Scoping
Private Data Space Model
privatedata.space
路
2d
馃
Rope Data Structures
[2104.14516]
Constructions
in
combinatorics
via neural networks
arxiv.org
路
2d
馃敘
Algebraic Datatypes
Type
Variance
en.wikipedia.org
路
1d
路
Discuss:
Hacker News
馃幁
Polymorphic Variants
The Little Book of
Linear
Algebra
little-book-of.github.io
路
21h
馃М
Linear Algebra
Railway
Oriented
Programming
fsharpforfunandprofit.com
路
19h
路
Discuss:
Hacker News
馃殏
Error Monads
Intersection
of Two Linked
Lists
dev.to
路
17h
路
Discuss:
DEV
鈴笍
Skip Lists
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
路
2d
馃敆
Concurrency Primitives
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
路
1d
路
Discuss:
DEV
馃攳
ML Language
hsutter/cppfront
: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com
路
1d
路
Discuss:
r/cpp
馃獎
C Metaprogramming
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
路
37m
馃搻
Mathematical Computing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help